(DEFPROP <CLAUSES> 
 (LAMBDA NIL
  (NLRR (QUOTE CLAUSES)
	(FUNCTION (LAMBDA NIL (COND ((AND (CH ;)) (QUOTE EMPTY)) ((AND (<C>) (CH ;)) (STK 1)) (*NIL*)))))) 
EXPR)

(DEFPROP <C> 
 (LAMBDA NIL
  (NLRR (QUOTE C)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<C1>) (CH /,) (<C>)) (CONS (STK 2) (STK 0)))
		((AND (<C1>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <C1> 
 (LAMBDA NIL
  (NLRR (QUOTE C1)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH /@) (<S>)) (CONS (QUOTE STAT) (STK 0)))
		((AND (SPWD DSK) (CH :) (<FILE>)) (CONS (QUOTE DSK) (STK 0)))
		((AND (SPWD FIND) (CH /[) (<ID>) (CH /,) (<F1>) (CH /]))
		 (CONS (QUOTE FIND) (CONS (STK 3) (CONS (STK 1) NIL))))
		((AND (SPWD FINDC) (CH /[) (<F1>) (CH /]))
		 (CONS (QUOTE FIND) (CONS (QUOTE CLAUSES) (CONS (STK 1) NIL))))
		((AND (<NUMBER>)) (STK 0))
		((AND (<ID>) (CH /[) (<VARLIST>) (CH /])) (CONS (STK 3) (STK 1)))
		((AND (<ID>)) (STK 0))
		(*NIL*)))))) 
EXPR)

(DEFPROP <VARLIST> 
 (LAMBDA NIL
  (NLRR (QUOTE VARLIST)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<NUMBER>) (CH /,) (<VARLIST>)) (CONS (STK 2) (STK 0)))
		((AND (<NUMBER>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <FILE> 
 (LAMBDA NIL
  (NLRR (QUOTE FILE)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<ID>)) (STK 0))
		((AND (CH /() (<ID1>) (CH /.) (<ID>) (CH /))) (CONS (STK 3) (STK 1)))
		(*NIL*)))))) 
EXPR)

(DEFPROP <ID1> 
 (LAMBDA NIL (NLRR (QUOTE ID1) (FUNCTION (LAMBDA NIL (COND ((AND (<ID>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <INPUT> 
 (LAMBDA NIL
  (NLRR (QUOTE INPUT)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<DECOP>) (CH :) (<OPLIST>)) (CONS (STK 2) (STK 0)))
		((AND (<ID>) (CH :)) (STK 1))
		((AND (<S>)) (STK 0))
		(*NIL*)))))) 
EXPR)

(DEFPROP <OPLIST> 
 (LAMBDA NIL (NLRR (QUOTE OPLIST) (FUNCTION (LAMBDA NIL (COND ((AND (<OPL>) (CH ;)) (STK 1)) (*NIL*)))))) 
EXPR)

(DEFPROP <OPL> 
 (LAMBDA NIL
  (NLRR (QUOTE OPL)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<OP>) (CH /,) (<OPL>)) (CONS (STK 2) (STK 0)))
		((AND (<OP>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <S> 
 (LAMBDA NIL
  (NLRR (QUOTE S)
	(FUNCTION (LAMBDA NIL (COND ((AND (CH ;)) (QUOTE EMPTY)) ((AND (<G1>) (CH ;)) (STK 1)) (*NIL*)))))) 
EXPR)

(DEFPROP <G1> 
 (LAMBDA NIL
  (LRR (QUOTE G1)
       (FUNCTION (LAMBDA NIL (COND ((AND (<G2>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (<EQUIV1>) (<G2>)) (CONS (STK 1) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <G2> 
 (LAMBDA NIL
  (LRR (QUOTE G2)
       (FUNCTION (LAMBDA NIL (COND ((AND (<G3>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (<IMP1>) (<G3>)) (CONS (STK 1) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <G3> 
 (LAMBDA NIL
  (LRR (QUOTE G3)
       (FUNCTION (LAMBDA NIL (COND ((AND (<G4>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (<OR1>) (<G4>)) (CONS (STK 1) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <G4> 
 (LAMBDA NIL
  (LRR (QUOTE G4)
       (FUNCTION (LAMBDA NIL (COND ((AND (<G5>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (<AND1>) (<G5>)) (CONS (STK 1) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <G5> 
 (LAMBDA NIL
  (NLRR (QUOTE G5)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH /() (<G1>) (CH /))) (STK 1))
		((AND (<NOT1>) (<G5>)) (CONS (STK 1) (CONS (STK 0) NIL)))
		((AND (<QFF>) (<BDY>)) (CONS (STK 1) (STK 0)))
		((AND (<PRED>)) (STK 0))
		(*NIL*)))))) 
EXPR)

(DEFPROP <BDY> 
 (LAMBDA NIL
  (NLRR (QUOTE BDY)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<IVAR>) (<G5>)) (CONS (CONS (STK 1) NIL) (CONS (STK 0) NIL)))
		((AND (CH /() (<VLIST>) (CH /)) (<G5>)) (CONS (STK 2) (CONS (STK 0) NIL)))
		(*NIL*)))))) 
EXPR)

(DEFPROP <VLIST> 
 (LAMBDA NIL
  (NLRR (QUOTE VLIST)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<IVAR>) (CH /,) (<VLIST>)) (CONS (STK 2) (STK 0)))
		((AND (<IVAR>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <IVAR> 
 (LAMBDA NIL (NLRR (QUOTE IVAR) (FUNCTION (LAMBDA NIL (COND ((AND (<VARIABLE>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <EQUIV1> 
 (LAMBDA NIL
  (NLRR (QUOTE EQUIV1)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH ≡)) (QUOTE EQUIV))
		((AND (CH ↔)) (QUOTE EQUIV))
		((AND (SPWD IFF)) (QUOTE EQUIV))
		(*NIL*)))))) 
EXPR)

(DEFPROP <IMP1> 
 (LAMBDA NIL
  (NLRR (QUOTE IMP1)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH ⊃)) (QUOTE IMP))
		((AND (CH ')) (QUOTE IMP))
		((AND (CH ') (CH >)) (QUOTE IMP))
		(*NIL*)))))) 
EXPR)

(DEFPROP <OR1> 
 (LAMBDA NIL
  (NLRR (QUOTE OR1)
	(FUNCTION (LAMBDA NIL (COND ((AND (CH ∨)) (QUOTE OR)) ((AND (SPWD V)) (QUOTE OR)) (*NIL*)))))) 
EXPR)

(DEFPROP <AND1> 
 (LAMBDA NIL
  (NLRR (QUOTE AND1)
	(FUNCTION (LAMBDA NIL (COND ((AND (CH ∧)) (QUOTE AND)) ((AND (CH &)) (QUOTE AND)) (*NIL*)))))) 
EXPR)

(DEFPROP <NOT1> 
 (LAMBDA NIL
  (NLRR (QUOTE NOT1)
	(FUNCTION (LAMBDA NIL (COND ((AND (CH ¬)) (QUOTE NOT)) ((AND (CH /-)) (QUOTE NOT)) (*NIL*)))))) 
EXPR)

(DEFPROP <QFF> 
 (LAMBDA NIL
  (NLRR (QUOTE QFF)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH ∀)) (QUOTE FA))
		((AND (SPWD FA)) (QUOTE FA))
		((AND (CH ∃)) (QUOTE TE))
		((AND (SPWD TE)) (QUOTE TE))
		(*NIL*)))))) 
EXPR)

(DEFPROP >CLAUSES< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((EQ (QUOTE EMPTY) (STK1)) (QUOTE (:CH ;))) ((>C< 1) (LIST (STK1) (QUOTE (:CH ;))))))))) 
EXPR)

(DEFPROP >C< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (*))) (>C1< 0)) (STK0))
		  ((AND (MATCH (QUOTE (* . *))) (>C1< 1) (>C< 0)) (LIST (STK1) (QUOTE (:CH /,)) (STK0)))))))) 
EXPR)

(DEFPROP >C1< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (STAT . *))) (>S< 0)) (LIST (QUOTE (:CH /@)) (STK0)))
		  ((AND (MATCH (QUOTE (DSK . *))) (>FILE< 0)) (LIST (QUOTE DSK) (QUOTE (:CH :)) (STK0)))
		  ((AND (MATCH (QUOTE (FIND * *))) (>ID< 1) (>F1< 0))
		   (LIST (QUOTE FIND) (QUOTE (:CH /[)) (STK1) (QUOTE (:CH /,)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (FIND CLAUSES *))) (>F1< 0))
		   (LIST (QUOTE FINDC) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (* . *))) (>ID< 1) (>VARLIST< 0))
		   (LIST (STK1) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((>NUMBER< 1) (STK1))
		  ((>ID< 1) (STK1))))))) 
EXPR)

(DEFPROP >VARLIST< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (*))) (>NUMBER< 0)) (STK0))
		  ((AND (MATCH (QUOTE (* . *))) (>NUMBER< 1) (>VARLIST< 0))
		   (LIST (STK1) (QUOTE (:CH /,)) (STK0)))))))) 
EXPR)

(DEFPROP >FILE< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* . *))) (>ID1< 1) (>ID< 0))
		   (LIST (QUOTE (:CH /()) (STK1) (QUOTE (:CH /.)) (STK0) (QUOTE (:CH /)))))
		  ((>ID< 1) (STK1))))))) 
EXPR)

(DEFPROP >ID1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND ((>ID< 1) (STK1))))))) 
EXPR)

(DEFPROP >INPUT< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* . *))) (>DECOP< 1) (>OPLIST< 0)) (LIST (STK1) (QUOTE (:CH :)) (STK0)))
		  ((>S< 1) (STK1))
		  ((>ID< 1) (LIST (STK1) (QUOTE (:CH :))))))))) 
EXPR)

(DEFPROP >OPLIST< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND ((>OPL< 1) (LIST (STK1) (QUOTE (:CH ;))))))))) 
EXPR)

(DEFPROP >OPL< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (*))) (>OP< 0)) (STK0))
		  ((AND (MATCH (QUOTE (* . *))) (>OP< 1) (>OPL< 0)) (LIST (STK1) (QUOTE (:CH /,)) (STK0)))))))) 
EXPR)

(DEFPROP >S< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((EQ (QUOTE EMPTY) (STK1)) (QUOTE (:CH ;))) ((>G1< 1) (LIST (STK1) (QUOTE (:CH ;))))))))) 
EXPR)

(DEFPROP >G1< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* * *))) (>EQUIV1< 2) (>G1< 1) (>G2< 0)) (LIST (STK1) (STK2) (STK0)))
		  ((>G2< 1) (STK1))))))) 
EXPR)

(DEFPROP >G2< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* * *))) (>IMP1< 2) (>G2< 1) (>G3< 0)) (LIST (STK1) (STK2) (STK0)))
		  ((>G3< 1) (STK1))))))) 
EXPR)

(DEFPROP >G3< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* * *))) (>OR1< 2) (>G3< 1) (>G4< 0)) (LIST (STK1) (STK2) (STK0)))
		  ((>G4< 1) (STK1))))))) 
EXPR)

(DEFPROP >G4< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* * *))) (>AND1< 2) (>G4< 1) (>G5< 0)) (LIST (STK1) (STK2) (STK0)))
		  ((>G5< 1) (STK1))))))) 
EXPR)

(DEFPROP >G5< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (* *))) (>NOT1< 1) (>G5< 0)) (LIST (STK1) (STK0)))
		  ((AND (MATCH (QUOTE (* . *))) (>QFF< 1) (>BDY< 0)) (LIST (STK1) (STK0)))
		  ((>PRED< 1) (STK1))
		  ((>G1< 1) (LIST (QUOTE (:CH /()) (STK1) (QUOTE (:CH /)))))))))) 
EXPR)

(DEFPROP >BDY< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE ((*) *))) (>IVAR< 1) (>G5< 0)) (LIST (STK1) (STK0)))
		  ((AND (MATCH (QUOTE (* *))) (>VLIST< 1) (>G5< 0))
		   (LIST (QUOTE (:CH /()) (STK1) (QUOTE (:CH /))) (STK0)))))))) 
EXPR)

(DEFPROP >VLIST< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (*))) (>IVAR< 0)) (STK0))
		  ((AND (MATCH (QUOTE (* . *))) (>IVAR< 1) (>VLIST< 0))
		   (LIST (STK1) (QUOTE (:CH /,)) (STK0)))))))) 
EXPR)

(DEFPROP >IVAR< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND ((>VARIABLE< 1) (STK1))))))) 
EXPR)

(DEFPROP >EQUIV1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)

(DEFPROP >IMP1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)

(DEFPROP >OR1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)

(DEFPROP >AND1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)

(DEFPROP >NOT1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)

(DEFPROP >QFF< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND))))) 
EXPR)